axiomatique


axiomatique
I adj. aksiomaga oid, aksiomaga asoslangan
II nf. aksiomatika (isbotsiz qabul qi lingan va matematikaning bir tarmog‘ini tashkil etuvchi birlamchi tushunchalar majmui).

Dictionnaire Français-Ouzbek. 2009.

Смотреть что такое "axiomatique" в других словарях:

  • AXIOMATIQUE — La méthode axiomatique est un mode d’exposition des sciences exactes fondé sur des propositions admises sans démonstration et nettement formulées et des raisonnements rigoureux. On se limitera ici à quelques indications méthodologiques et… …   Encyclopédie Universelle

  • Axiomatique — Axiome Un axiome (du grec ancien αξιωμα/axioma, « considéré comme digne, convenable, évident en soi ») désigne une vérité indémontrable qui doit être admise. Pour certains philosophes grecs de l Antiquité, un axiome était une… …   Wikipédia en Français

  • axiomatique — (a ksi o ma ti k ) adj. Terme didactique. Qui tient de l axiome. ÉTYMOLOGIE    Axiome. SUPPLÉMENT AU DICTIONNAIRE    AXIOMATIQUE. Ajoutez : •   Un sixième caractère de cette loi [la loi fondamentale de la raison] est d être axiomatique, MAGY… …   Dictionnaire de la Langue Française d'Émile Littré

  • Axiomatique —    см. Аксиоматика …   Философский словарь Спонвиля

  • Axiomatique (recueil) — Axiomatique Auteur Greg Egan Genre Recueil de nouvelles Version originale Titre original Axiomatic Éditeur original Orion/Millennium Langue originale Anglais …   Wikipédia en Français

  • Axiomatique (nouvelle) — Axiomatique Auteur Greg Egan Genre Nouvelle Version originale Titre original Axiomatic Éditeur original Interzone Langue originale Anglais australien …   Wikipédia en Français

  • axiomatique de Hilbert — ● axiomatique de Hilbert Système de vingt sept axiomes pour la géométrie euclidienne …   Encyclopédie Universelle

  • Axiomatique de Zermelo-Fraenkel — ZFC En mathématiques, l abréviation ZF désigne la théorie de Zermelo Fraenkel, ZFC quand elle comprend l axiome du choix, théorie des ensembles la plus couramment utilisée en mathématiques contemporaines. Bien que la théorie ne porte pas le nom… …   Wikipédia en Français

  • Semantique axiomatique — Sémantique axiomatique La sémantique axiomatique est une approche basée sur la logique mathématique qui sert à prouver qu un programme informatique est correct. Sommaire 1 L idée 2 Le langage : la logique de Hoare 3 Preuves …   Wikipédia en Français

  • Sémantique axiomatique — La sémantique axiomatique est une approche basée sur la logique mathématique qui sert à prouver qu un programme informatique est correct. Sommaire 1 L idée 2 Le langage : la logique de Hoare 3 Preuves …   Wikipédia en Français

  • Theorie axiomatique — Théorie axiomatique Quand on parle de théorie mathématique on fait référence à une somme d énoncés, de définitions, de méthodes de preuve etc. Par exemple, quand dans cet article on parle de théorie de la calculabilité c est en ce sens. Par… …   Wikipédia en Français


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.